Briefly, the expansion of a macro ΓÇö that is, the evaluation of the procedure of one argument that is assigned to the macro name ΓÇö takes place in the lexical scope of the original macro definition; but the second evaluation, of whatever expression the expansion returns, takes place in the lexical scope of the macro call.
Here is an example that may make this issue clearer.